
/* $Id: die.C 13 2012-12-07 04:17:27Z wangsl2001@gmail.com $ */

#include <unistd.h>
#include <cstdlib>
#include <iostream>
using namespace std;
#include "die.h"

void die_at(const char *s, const char *file, int line)
{
  cout << " " << s << " at file: '" << file << "' line: " << line << "\n" << flush;
  FORT(fatal)();
}

void die(const char *s)
{
  cout << s << "\n" << flush;
  FORT(fatal)();
}



